Concurrency and Directed Algebraic Topology
نویسنده
چکیده
منابع مشابه
A Few Points on Directed Algebraic Topology
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A 'directed space' has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental n-groupoids of the classical case). Applications have been mostly developed in the theory of concurrency. Unexpected links with noncomm...
متن کاملDirected Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applicatio...
متن کاملThe Directed Homotopy Hypothesis
The homotopy hypothesis was originally stated by Grothendieck [13] : topological spaces should be “equivalent” to (weak) ∞-groupoids, which give algebraic representatives of homotopy types. Much later, several authors developed geometrizations of computational models, e.g. for rewriting, distributed systems, (homotopy) type theory etc. But an essential feature in the work set up in concurrency ...
متن کاملConference on Algebraic Topological Methods in Computer Science
The recognition that within the area of computational geometry, the methods of algebraic topology can provide qualitative and shape information which isn't available from other methods. Algebraic topology provides a tool for visualization and feature identification in high dimensional data. Algebraic topology is an extremely useful framework for analyzing problems in distributed computing, such...
متن کاملApplications of Algebraic Topology to Concurrent Computation
All parallel programs require some amount of synchronization to coordinate their concurrency to achieve correct solutions. It is commonly known that synchronization can cause poor performance by burdening the program with excessive overhead. This chapter develops a connection between certain synchronization primitives and topology. This connection permits the theoretical study of concurrent com...
متن کامل